More from this Author

Description Logic, Theory Combination, and All That

by Carsten Lutz (Editor), Uli Sattler (Editor), Cesare Tinelli (Editor), Anni-Yasmin Turhan (Editor), Frank Wolter (Editor)

Frontiers of Combining Systems

by Cesare Tinelli (Editor), Viorica Sofronie-Stokkermans (Editor)

Tools and Algorithms for the Construction and Analysis of Systems

by Christel Baier (Editor), Cesare Tinelli (Editor)